panel: Remove unused constant

This was left-over in commit 2743f18af, and probably is the real reason
why the busy spinner wasn't using the shared AnimatedIcon.Spinner class:
The animation there was much slower.

Still, let's keep the code as-is for now, if we really need a different
animation time, we can add an optional constructor parameter to the
Spinner class.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/640

diff --git a/js/ui/panel.js b/js/ui/panel.js
index 6eb54f3e7274799a7e540759ffe1db7b8c1284f5..36f1c2d2b6b2be46e0540f81b361374060cfbfa7 100644 (file)
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -19,8 +19,6 @@ var APP_MENU_ICON_MARGIN = 0;
 
 var BUTTON_DND_ACTIVATION_TIMEOUT = 250;
 
-var SPINNER_ANIMATION_TIME = 1.0;
-
 // To make sure the panel corners blend nicely with the panel,
 // we draw background and borders the same way, e.g. drawing
 // them as filled shapes from the outside inwards instead of